Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures
نویسندگان
چکیده
منابع مشابه
Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures
Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. Thanks to the performance increase, a hardware unit must no longer be dedicated to a single system function. Multicore processors for example facilitate this trend as they are offer...
متن کاملTowards Safety Critical Middleware for Avionics Applications
Two factors influencing the design and development of avionics software are 1) the cost of verification, validation and certification 2) migration of avionics functionality from hardware to software, to decrease the weight and power consumption of the avionics. These two factors are inherently at odds. Lowering the development costs of engineering software for safety critical systems, while pro...
متن کاملSafety - Critical Architectures for Automotive Applications
—Advances in embedded system technology have enabled automotive manufacturers to design electronic systems that introduce new features to the vehicles, improve their performance and increase safety. Following the successful use of fly-by-wire systems in aircraft, the introduction of drive-by-wire is expected in an increasing number of new vehicles. The electronic components used in these system...
متن کاملExperimental Assessment of Astrée on Safety-Critical Avionics Software
Astrée is a parametric Abstract Interpretation based static analyser that aims at proving the absence of RTE (Run-Time Errors) in control programs written in C. Such properties are clearly safety properties since the behaviour of a C program is undefined after a RTE. When it analyses a program of the class for which it is specialised, Astrée is far more precise than general purpose static analy...
متن کاملReconfigurable Avionics Architectures
Current and upcoming avionics systems must be able to accommodate expected growing application software volume and capability. The software domain has struggled to meet increasing demands while retaining the necessary level of confidence in its appropriate operation. Meanwhile, although computing components are becoming less expensive, the fixed and operational costs of hardening them to their ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering and Applications
سال: 2013
ISSN: 1945-3116,1945-3124
DOI: 10.4236/jsea.2013.65028